E($X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$e$:E$\mid$ $\uparrow$($e$ $\in_{b}$ $X$)\}